Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
841	Theoretical Computer Science–499 www.elsevier.com/locate/tcs The limits of !xed-order computation Konstantinos Sagonas a;∗ , Terrance Swift b , David S. Warren b Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2002-10-21 12:37:51
842	ITI Series Institut Teoretick´e Informatiky Institute for Theoretical Computer Science Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:37
843	Challenges in Comparing Software Analysis Tools for C? Florian Merz, Carsten Sinz, and Stephan Falke Institute for Theoretical Computer Science Karlsruhe Institute of Technology (KIT), Germany {florian.merz, carsten.sinz Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-04 10:49:53
844	Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS ∗ Feng Niu Add to Reading List Source URL: www.cs.stanford.edu Language: English - Date: 2013-07-22 00:25:35 Constraint programming Automated theorem proving Theoretical computer science Mathematics Mathematical logic Markov logic network WalkSAT Graph partition Nibbles Local search Resolution Alchemy
845	Statement of Teaching Interests Antonina Kolokolova I have been teaching computer science courses since the summerSince then, I have taught algorithms (both second-year in Java and third-year theoretical courses), Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2009-01-29 20:45:42
846	Kludged∗ Jeffrey C. Ely† October 4, 2007 Abstract Is there reason to believe that our brains have evolved to make efficient decisions so that the details of the internal process by which Add to Reading List Source URL: www.najecon.org Language: English - Date: 2011-01-27 15:15:18 Biology Operations research Behavior Academia Mathematical optimization Ethology Theoretical computer science Adaptation Evolutionary biology Natural selection Kludge Algorithm
847	Secure Protocols for Secrecy Hanane Houmani and Mohamed Mejri LSFM Research Group Computer Science Department LAVAL University Quebec, Canada Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2004-12-05 23:21:27 Cryptography Theoretical computer science E-commerce Secure communication Model checking Cryptographic protocol Public-key cryptography Communications protocol Formal methods Computer security Secure multi-party computation
848	Many Facets of Dualities Jaroslav Neˇsetˇril⋆ Department of Applied Mathematics (KAM) and Institute of Theoretical Computer Science (ITI), Charles University, Malostransk´e n´ am. 25, Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:37
849	Best-First Rippling Moa Johansson, Alan Bundy and Lucas Dixon 1 School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-10 06:07:20 Automated theorem proving Mathematics Theoretical computer science Search algorithms Heuristics Rippling Logic IsaPlanner Formal languages Logic in computer science A* search algorithm Mathematical proof
850	Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-12-23 10:16:22 Software engineering Programming language theory Theoretical computer science C++ Logic in computer science Proof assistants Data types SHA-2 Formal verification Separation logic Coq Functional programming

UPDATE